[數(shù)] 廣義歸結(jié)方法 generalized resolution: 廣義歸結(jié)resolution principle: 分解法則; 分解原理generalized linear resolution: 廣義線性歸結(jié)generalized lock resolution: 廣義鎖歸結(jié)generalized semantic resolution: 廣義語義歸結(jié)下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯